composition of relations in discrete mathematics